1. Artificial intelligence : an introductory course
پدیدآورنده : A. Bundy... ]et. al.[.--]Rev.ed.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence
رده :
Q
335
.
A774
2. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
3. Australian libraries: the essential directory
پدیدآورنده : / Compiled and edited by Alan and Judith Bundy
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : Libraries - Australia - Directories,Information Services - Australia - Directories
رده :
Bib
.
Z870
.
A1A83
2001
4. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
5. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
6. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
7. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
8. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1986
9. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Artificial intelligence - Data processing
رده :
Q
.
B86
336
1990
10. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990
11. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
12. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
13. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
14. Catalogue of artificial intelligence tools
پدیدآورنده : BUNDY,ALAN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
15. Constantine to c. 600
پدیدآورنده : / edited by Augustine Casiday , Frederick W. Norris.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
رده :
R
BR165
.
C3
V
.
2
2007
16. Constantine to c. 600
پدیدآورنده : \ Edited By Augustine Casiday and Frederick W. Norris.
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : مسیحیت -- تاریخ -- کلیسای اولیه، ح.۳۰-۶۰۰م.
رده :
BR
200
.
C66
17. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR200
.
C66
2007
18. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR
200
.
C66
2007
19. The Cambridge history of Christianity: Constantine to c. 600
پدیدآورنده : edited by Augustine casiday and Frederick w. Norris
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Church history,، Church history - Primitive and early church, ca. 03-006
رده :
BR
145
.
2
.
C66
V
.
2
20. The computer modelling of mathematical reasoning /
پدیدآورنده : Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
